\begin{tabbing}
$M$.send($k$;$l$;$s$;$v$;${\it ms}$;$i$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}val(\=product{-}deq(Knd;IdLnk;KindDeq;IdLnkDeq);\+
\\[0ex](($M$.2.2.2.2.2).1);
\\[0ex]$<$$k$, $l$$>$;
\\[0ex]$k$,$L$.(\=${\it ms}$\+
\\[0ex]=
\\[0ex]if source($l$) = $i$
\\[0ex]then concat(map($\lambda$${\it tgf}$.map($\lambda$$x$.$<$${\it tgf}$.1, $x$$>$;(${\it tgf}$.2)($s$,$v$));$L$))
\\[0ex]else []
\\[0ex]fi 
\\[0ex]$\in$ ((${\it tg}$:Id $\times$ if source($l$) = $i$ then $M$.da(rcv($l$,${\it tg}$)) else Top fi ) List)))
\-\-
\end{tabbing}